منابع مشابه
Hierarchies of Hyper-AFLs
For a full semi-AFL K, B(K) is defined as the family of languages generated by all K-extended basic macro grammars, while H(K) 5 B(K) is the smallest full hyper-AFL containing K, a full basic-AFL is a full AFL K such that B(K) = K (hence every full basic-AFL is a full hyper-AFL). For any full semi-AFL K, K is a full basic-AFL if and only if B(K) is substitution closed if and only if H(K) is a f...
متن کاملHyper-Polynomial Hierarchies and the NP-Jump
Assuming that the polynomial hierarchy (PH) does not collapse, we show the existence of ascending sequences of ptime Turing degrees of length !CK 1 all of which are in PSPACE and uniformly hard for PH, such that successors are NP-jumps of their predecessors. This is analgous to the hyperarithmetic hierarchy, which is defined similarly but with the (recursive) Turing degrees. The lack of uniform...
متن کاملHyper-Kähler Hierarchies and their twistor theory
A twistor construction of the hierarchy associated with the hyper-Kähler equations on a metric (the anti-self-dual Einstein vacuum equations, ASDVE, in four dimensions) is given. The recursion operator R is constructed and used to build an infinite-dimensional symmetry algebra and in particular higher flows for the hyper-Kähler equations. It is shown that R acts on the twistor data by multiplic...
متن کاملInstitute for Mathematical Physics Hyper{kk Ahler Hierarchies and Their Twistor Theory Hyper-kk Ahler Hierarchies and Their Twistor Theory
A twistor construction of the hierarchy associated with the hyper-KK ahler equations on a metric (the anti-self-dual Einstein vacuum equations, ASDVE, in four dimensions) is given. The recursion operator R is constructed and used to build an innnite-dimensional symmetry algebra and in particular higher ows for the hyper-KK ahler equations. It is shown that R acts on the twistor data by multipli...
متن کاملHyper-tubes of hyper-cubes
Hyper-tubes consisting of hyper-cubes of n-dimensions were designed and formulas for substructures of vary dimensions established.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 1985
ISSN: 0022-0000
DOI: 10.1016/0022-0000(85)90006-6